%%read_line(String) :- java(string/String,'System.in.readLine').
write_character(Char) :- java(void,'System.out.print',char/Char).
write_string(String) :- java(void,'System.out.print',string/String).

xx("foo").
xx("bar").

example :- write_string("Foooooooo"), xx(E), write_string(E).
